$\forall$$T$:Type, $R_{1}$,$R_{2}$:($T$$\rightarrow$$T$$\rightarrow$Type).
\\[0ex]rel\_implies($T$; $R_{2}$; $R_{1}$) $\Rightarrow$ SWellFounded($R_{1}$($x$,$y$)) $\Rightarrow$ SWellFounded($R_{2}$($x$,$y$))